Yes you need to plug the HDD into the ps4, plug another drive in too, use GoldHEN and pkg extractor to copy the pkgs from the 9.00 drive to the empty one.
Then on a pc you need to backport the games.
Did you ask this person if they could set it up for 5.05? They probably could have put games...