Sure she could do that, but even if it froze at the boot-up logo screen, there is (a) nothing to worry about even in that case, and (b) nothing he could do about it anyway until he got it back to Germany and could contact support about the problem.