Originally posted by Adam K-1 or K-2 IMO. Maybe K-F1 but that would be kind of cheesy.
I agree. Anything with an F that stands for "Full Frame" is cheesy. Only Nikon managed to get away with that (with their FX designation - but it's not in the model name!).
K-2 or K2 (probably need the hyphen, actually) would be classic and allude to the high-end K2 of the film era.
How about a K-1000D entry model??
(Don't think so - the D's considered extraneous these days, though Canon and Nikon seem to be a bit 'stuck' in this regard).