Yep, I have tried Metalink. I found the compatibility matrix for export/import and it is conclusive: you CAN migrate directly from 7.1.3 to 8.1.7.4
Needless to say this saves whole lot of time! (side-note: I can use this method since it is a fairly small database).

Thanks for the input!