Most places in Europe have hit normal summer temperatures where I am (about 35). This is ridiculous, though. It is hotter in Spain right now than it is in Phoenix.
Let that sink in. It is hotter in Barcelona than it is in Death Valley right now.
You aren't wrong here. I spent a bit of time looking for a source and couldn't find one. It's like an urban myth. They could have taken one of those covers and painted over it heavily, but for the life of me I can't find a source, and I am fairly experienced in sources of Trek stuff.
I have the same laptop, running Garuda. As someone else said, definitely watch the temps. Mine can hit 90 degrees easily. It seriously is worth looking into undervolting the GPU. I haven't done it yet because I'm the odd one out and am very hesitant to mess with something that is working at all.
I never got to experience it on an arcade cabinet. My first exposure to it was emulated on my original xbox. My friend and I played that game for many hours every weekend for months, and then some! I believe it was available on PSN for a while as well. Such a great game.
Actual adult Marshmallow.