Hi,
No, unfortunately the drive is not booting as normal. We've tried a few different things, like trying to repair it with Windows 10 installation media, but it diagnoses and just can't seem to figure out what the issues is.
As far as I'm aware, there wouldn't have been another level of encryption. We do all have PGP keys set up, but rarely use them (and I'm fairly sure that the owner of this laptop didn't even know the passphrase for theirs).
Is it possible to have Windows bitlocker turned on as well as having the hard drive encrypted by Symantec? To the best of my knowledge, we would have turned it off before using Symantec Desktop Encryption, but I couldn't be 100% sure.