Hello. Today I decided to clean my PS4 pro from dust. I unplugged all the cables from the back and turned the console to clean the ports. To my unpleasant surprise I see two big spiders on top of each other mating and little bit of spider web around them. You know those ugly thin spiders with very long legs. I wanted to take a photo but they escaped pretty fast. Should I open the console to see if there is internal damage?