Hello all! I'm looking at buying my first Enicar Chrono with Valjoux 72 movement. Looking to stay under $4K. The models I have narrowed it down to are the Ocean Pearl, Ocean Pearl Interlagos, and Gerhard MItter. Curious to hear your thoughts on which one of these would be the best first Enicar purchase. Also, was curious if anyone knows how and why Interlagos got its name? Regards, Scott