Update 2013-05-12

Update 2013-05-12: I now think $11 is an underestimate, but don't have a good idea about what the real number is. I want to run an experiment to find out.