I did indeed! I told him the best chip manufacturer for Rockbox was the one who provided the best tech data. As expected, I have heard only the sound of crickets chriping from my inquiries to Samsung and Telechips.
FYI, I noticed some cheap (discontinued? grey-market?) 1Gb K5's on ebay for around $80 USD - I think I may pick one up so I can have one I won't mind destroying when tracing the circuit board.