Well, I just ordered one of these little Lezyne Alloy Drive pumps in Small for $40.
The small is 116mm, which is just a tick over 6.5 inches, so it should still fit in my saddle bag. Lezyne's reputation is encouraging, so I'll give a full report once I've got it.