FBTrek321;
You need to contact Trek about upgrading the fork on that bike. Indeed, the frame manufacture should be contacted prior to any fork upgrade.
What are you doing on a 3900 that requires 130mm of travel? The 3900 isn’t a rugged mountain bike. It’s designed for horse trails, paths, around parks (not Snowshoe or Whistler). Increasing crown to axle of your fork doesn’t just change the ride. It changes how pressure is placed on the headset, headtube welds, and both top and down tubes. Upgrading to a 130 will allow access to anything not dedicated DH/FR. I would be surprised if your wheelset or drivetrain is up to that. At 195 you’re putting extra stress on components.
Putting $250 of fork on $500 of bike seems always seems insane. If you want better performance that $250 would be better spent on a 6000 series Trek or something comparable. If you want access to more technical trails look into the specialized P.1 All mountain.