Assuming there is enough AAA for distributions. I believe the FMV is the value to use for the amount of the distribution.
