I have the capability to produce an actual external battery charger for the dell mini 9. it will be a stand alone unit that will simple use your existing charger and adapt it to charge your battery with out it having to be plugged in to your mini 9.
This will be useful if you have two batteries and do not wish to have to charge the battery with it connected the mini, but instead have a battery charged and ready to go when your other battery is low in your mini. simply swap the dead battery for the charged one.
Who is interested in me producing such an item? Please comment if you would like one and what you think the price should be.