I believe the smaller one is in AC type AF fuel pump... very common. Not sure what specific model... they generally were not stamped with a model number that I know of. Parts are very easy to get.