I'd go with airframe speed mods: Hoerner-style wingtips, gap seals,
hinge fairings and wing root fairings, and better wheel pants. That
would just about eat up your $4k and make a noticeable improvement in
the way the plane handles plus give you some more top cruise speed too.