I think it's an awesome name. particularly if mk8 is called not 8.
though to say it's not impossible to change the name. isn't true
the original deus ex 3 changed its named to project snowblind... and sucked.
Final Fantasy Agito XIII, is now FF Type Zero.
Super Mario Bros 2 wasn't even an original game it was a reskin of Yume Kōjō: Doki Doki Panikku.
So I think it's possible they can change the name... but it seems like it's going to be mk7 :)