That's correct, Starlink provided 3,670 of the premium terminals at their own cost, plus (so far) free premium service to all of the terminals provided as aid,

That's correct, Starlink provided 3,670 of the premium terminals at their own cost, plus (so far) free premium service to all of the terminals provided as aid, including those bought by USAID and various governments. There are further consumer grade terminals individuals and crowd funders have provided entirely at their own cost including service.