Not one reply yet so I'll bite.
I'm shocked to hear renting an M5 for a day there is $5k. That would get you track time for a couple exotics here.
I'd also expect German customs to hold your car if it's even allowed on the plane. I'm not aware of "holiday" temporary registration available overseas.
My suggestion, find a cheaper rental option in a nearby city out there.
