In case you don't want to scan RPO list or miss it when looking here is the one you want:
RPO code F55 on the list in the trunk is the easiest way to know for sure
Also I believe the navigation was a package that could be added so not a given it has it.
I have the M6 with everything but sunroof and love it. I bought mine as a weekend toy and long time keeper because of its uniqueness. If it sells for a fortune for my kids after I have left this mortal coil good for them.
As others have said you are paying a premium in this market which may or may not settle back down. Up to you to decide if that is worth it. I also wholeheartedly agree with mrgoodwrench if the car is not THAT car (and you know when you find it) might be better to keep looking.
Just for comparison I bought mine in May 2020 with less than 4k miles on it for $38K