just found his address i don't know his exact balance but i think it was a few over 10,000. surely he should get his coins back and they should be removed from the stake pot

BEAyMLg2K7efXBmmrCkqTTgtXCdZfzD1Tb