I dont believe coins have been distributed yet. Did you claim your ICO tokens yet? (that should be done in the orange wallet). Once the ICO claim period is finished I believe the coins will automatically be distributed into the orange wallet you used to claim your tokens. I was hoping it would be sometime this week - hopefully soon

No as he used Openledger he doesnt need to claim his tokens.
All he has to do is wait for launch and he will be free to move his HEAT.