I am wondering; if a surgeon just states in the diagnosis "synovitis" or "synovial hypertrophy of medial compartment" can I use ICD-9 code 719.2x (villonadular synovitis) for the correct joint involved or should I only be using ICD-9 code 727.00 for this kind of general synovitis despite what joint it is in? Thanks!