He is right though, 5000 USD per month for an instance with 12k monthly active users is completely unrealistic, or it is run very inefficiently. mastodon.world is a similar size and costs much less than 2300 Euro per month (which includes numerous other instances like lemmy.world etc).