TECHNICALLY
A point redemption is only savings or 'worth' anything if it displaces an expected expense that you would have had spent anyway.
Example.
1. You spend 100,000 points on a trip to Hawaii but it's really just a "found" trip that you would not have had spent anyway. The trip itself would have had cost $5,000 but did you really "Save" $5,000? No. You would have had never taken it without the miles.
2. You NEED a new washing machine, and use your 100,000 miles on a $700 washer. Did you actually save $700? That depends on if you had to spend your own money would you have had purchased that exact washing machine? Let's say "NO" and you would have had purchased a $500 model.
So under those two, option 2 was actually the better option but having only saved $500 and ending up with a better result (A washing machine that cost $200 more than you WOULD HAVE spent)
------------------
These "value" discussions are interesting. It's like when someone goes to the mall and tells you that they "SAVED" $150, by buying shoes that were marked down from $200 to $50. When in reality, said person would have had NEVER spent the $200 in the first place. So they really didn't "save" $150, they actually lost $50
Now in your case, you actually used the miles in perhaps the BEST WAY YOU COULD HAVE by displacing expected expenses.
Congrats