Hi All - It seems that Peak 10224 (https://listsofjohn.com/peak/2995) is included in the Sarvis Creek Wilderness list. This peak is outside of the Wilderness Boundary according to the map published with the 1993 legislation as well as according to Wilderness GIS data obtainable on wilderness.net.
thanks,
Soren.