diff --git a/mdx/uk/check_uk_mdrps.xsl b/mdx/uk/check_uk_mdrps.xsl
index 72ac36d3..a97b9769 100644
--- a/mdx/uk/check_uk_mdrps.xsl
+++ b/mdx/uk/check_uk_mdrps.xsl
@@ -12,6 +12,7 @@
 	xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
 	xmlns:md="urn:oasis:names:tc:SAML:2.0:metadata"
 	xmlns:mdrpi="urn:oasis:names:tc:SAML:metadata:rpi"
+	xmlns:ukfedlabel="http://ukfederation.org.uk/2006/11/label"
 	xmlns="urn:oasis:names:tc:SAML:2.0:metadata">
 
 	<!--
@@ -20,6 +21,42 @@
 	<xsl:import href="../_rules/check_framework.xsl"/>
 
 
+	<!--
+		If a UK-registered entity is opted in to the export aggregate, it MUST
+		have a registrationInstant.
+	-->
+	<xsl:template match="md:EntityDescriptor
+		[descendant::mdrpi:RegistrationInfo[@registrationAuthority='http://ukfederation.org.uk']]
+		[md:Extensions/ukfedlabel:ExportOptIn]
+		[not(descendant::mdrpi:RegistrationInfo/@registrationInstant)]">
+		<xsl:call-template name="error">
+			<xsl:with-param name="m">
+				<xsl:text>exported entity lacks a registrationInstant value</xsl:text>
+			</xsl:with-param>
+		</xsl:call-template>
+	</xsl:template>
+	
+	
+	<!--
+        If a UK-registered entity is opted in to the export aggregate, it MUST
+        have a RegistrationPolicy.
+    -->
+	<xsl:template match="md:EntityDescriptor
+		[descendant::mdrpi:RegistrationInfo[@registrationAuthority='http://ukfederation.org.uk']]
+		[md:Extensions/ukfedlabel:ExportOptIn]
+		[not(descendant::mdrpi:RegistrationInfo/mdrpi:RegistrationPolicy)]">
+		<xsl:call-template name="error">
+			<xsl:with-param name="m">
+				<xsl:text>exported entity lacks a RegistrationPolicy</xsl:text>
+			</xsl:with-param>
+		</xsl:call-template>
+	</xsl:template>
+	
+	
+	<!--
+		Restrict registrationAuthority values for UK federation entities, if present,
+		to previously used MDRPS document URLs.
+	-->
 	<xsl:template match="mdrpi:RegistrationInfo[@registrationAuthority='http://ukfederation.org.uk']
 		/mdrpi:RegistrationPolicy
 			[.!='http://ukfederation.org.uk/doc/mdrps-20130902']