Congrats--that’s a good outcome on your part. If I recall your earlier posts correctly, your average cost should now be a hair above $5.