HP 71B RAM: has anybody big ones to sell?