I don't think what you are saying contradicts the gp. All the expertise that went into developing tools to host their own website probably went into developing AWS. Just because they maintained two separate infrastructures doesn't mean that it's not an example of turning an internal tool into a product.