Ok, that sounds about right.
And with all that in mind, I do think government funding is a significant part of their total income, but I would be very surprised if it made up for more than say 20%. I'm trying to keep in mind that less than 5% of their launches are actually for NASA. And honestly, being a telecom/ISP has been a lucrative racket from day one with the bell telephone company. (So I'm willing to bet that starlink is their cash cow)