But you seem to be saying that it wouldn't make Andy any faster. I disagree.
There are numerous examples of this in pro cycling, often in reverse where a rider loses weight to improve climbing performance and sprinting speed suffers.
Who are the most powerful riders in wattage? Hint: it won't be the 140 pounders.