Well that is what I call good spotting!!!!
I can confirm the owner of N3877 s/n 9304 is
Microstategy, Inc. who are the original owner.
Clearly N3877 is wearing N400GX colours - my guess?, is N400GX being an older Global and N3877 (N89MX) being a new XRS - I can only guess N89MX was the new jet - and personally the N400GX is the more attractive colour scheme. Maybe some nostalgia after losing their old jet.
Michael Saylor has been CEO since 1989 (founding of the company) - so he would be familiar with both jets. Maybe if JetNets is reading this they can confirm the owner of Churchill Aviation LLC??
Click Here go to box on the right 'Fox 4 KC News' click enlarge - play for video of N620K and JR Dodson (Aircraft Parts).