Uploaded 27 Oct 2009 by rc_greg.
10 × 1.00 × 0.60 × 1.15 × 1.00 = 6.90, rounded to 7. Why these factors.
