PS4 Slim tiny spring

So I have been having problems with the my PS4 Slim reading discs. I thought I'd open it up and have a look. When I flipped it over with the cover off and the top of the disc drive off, a tiny spring dropped out. I can't see where it came from. It is 10mm long in total with a loop on either end.

Any help would be appreciated.

Cheers