Matt,
Can't speak for John, but I just record the turntable output to PT/RB, then use the PGVinyl tool sparingly (actually a pretty impressive tool once you learn it). And save as Wav.
The PGMusic VinylTool is worth exploring if you want to get your OLD vinyl albums digitized.
I have a few hundred and some are definitely collector stuff, but alas I've also abused/wore out many that are no longer available.
The PGMusic VinylTool is another hidden tool you already have but may not have tinkered with ..

The settings in the image below are my default starting point, like I said; you gotta tinker with it a bit.