Quoted from GraniteStatePin:Does anyone have a replacement potentiometer recommendation? Looking to replace the exact one the OP circled. I've found some 5K ones (what manual specifies) on the parts sites put they look nothing like this one. They have 3 legs in a straight line. thanks
Did you try an electronics supplier like Newark, Mouser, or Digikey? They will have a lot more choices.
Are you more concerned with physical size/package or exact electrical spec? You have some leeway on the latter.
If it comes down to it, within reason, you can also choose something with a higher overall resistance, because the same "range" of adjustment will be within. Example: a 7,500 ohm pot will have 0-5,000 ohms within a portion of its entire adjustment range, and the extra 2500 ohms sitting on the end will make no difference.
Higher wattage rating would be acceptable and give you better lifespan.
Greater total number of turns will give you easier control.