$10k is such an insanely small amount of money (compared to SWE salaries) for someone at a big tech company to risk their job for.