At a restaurant, servers keep 75% of the tips from each table, and support staff keeps 25%. A $20 tip is left at a table. How much of the tip does the server keep?