updated EF, added isAvailable to the product