What was the final amount raised for Gladius. Is it 130ETH? I thought there were some people who tried to jump the leaving train.