$25,000. Valve doesn't distribute Source without it, as far as I know. Replacing Havok would take a lot of effort which is better spent elsewhere.
--
[1] https://www.youtube.com/watch?v=YTC0V0LWeGI
[1] http://media.steampowered.com/apps/valve/2014/Sergiy_Migdals...
[1] http://media.steampowered.com/apps/valve/2015/Migdalskiy_Ser...