No reason not to keep the Ikes. They are getting harder to find, and being the last REAL dollar coins that were made, they should be kept. Decent circulated ones, VF or higher, will get you a small premium as well. Then if those 72s were one of the variants....
There is a lot to the Ikes.