Eventide Staff
The algorithms stay in his account. When someone sells the hardware, the algorithms associated with that model go with the hardware. In other words, if you buy a Max you get all the algorithms, if you buy a core you only get the algorithm that was included in that model (H910/H949).