As the protector covers the velcro piece that keeps the mattress in place when you raise the roof, I guess the velcro strap is used to keep the mattress in place somehow as there is a hole in the cover for it, any idea how? Or is it a 3M Velcro piece job? Thanks