I have a Philips GA 212 record player and a lot of records. I currently use a Denon DRA 750, but it’s in pretty bad need of a tuneup so will try out this while I decide what to do with that

Gotcha, sounds like keeping them all is the way to go. For the time being, not using the tuner won’t effect performance of anything else, right?