3 ms·

15k doesn't really go far when you're buying CI servers, colocation, and paying someone to watch them.