I have a Mk2
I ordered the lenses directly after the attach of the official website.

I measured also the dimmension for my housing project.
I got a value of 154mm between the mounting holes.
My lenses I got from filener have a bit smaller distance between the holes.
Because of this tight fit it's possible that the lenses doesn't fit in some players exactly.
I aggrandise the right holes a little bit to the right.