Based on your concerns over size and price, I'd vote for a refurbed Baratza Vario. It's a standout in the price range (~$350), fits neatly in any kitchen and will be more than enough grinder for your Cremina.
I'm not sure that I'd agree with the quality increment from a Vario to a K10. They produce different shots, to be sure, but your own taste preferences should dictate the decision. If you love big soft chocolate bombs, then buy the chocolate-heavy blends and use the Vario. If distinctly layered acid/fruit/floral notes are more your preference, then either save the $$$ for a big conical or put the blood, sweat and tears into a Pharos. It's a no-compromise hand grinder that will make you smile at the results, but perhaps question the effort required to produce them

.
IMHO the K3 and Cimbali aren't worth it compared to the Vario. HB has several examples of Baratza's fantastic customer service record. If you have a problem with your grinder, they'll most likely go out of their way to make sure it gets resolved. Now, the other shoe drops; why would their customer service
have so many examples to prove their mettle?
FWIW, I owned a Baratza/Solis Maestro Plus for 5 years, and it performed flawlessly, so there's a final data point for your consideration.
Your dog wants espresso.
LMWDP #288