[revloc02c]

It's been awhile, but I want to post what I found for posterity. Here's the ports I forwarded:

• 9000
• 9080
• 7000-7100

...and it works. I am not sure if that is overkill, I have not tried any trial & error to see if changing something breaks it.