No -- you don't have to file an amended return if you're getting a refund. It's up to you to decide whether it's worth the effort!
@2020Alfred
