25K Mantis would be above max of 10% so you would get 10% + 4% for 4 weeks uptime. So in total 14% extra if that makes sense?