Might want to check with support, but I would think it would be as easy as installing the version of 7.1 you had installed and restoring the database. I obviously don't recommend flat out following my direction on this without either talking to support, or verifying in a test environment first.
I'd be curious to hear what they say about this as I agree that the documentation it definitely lacking some points of clarity that most of their documentation usually has.